翻訳と辞書
Words near each other
・ Poilly-sur-Tholon
・ Poillé-sur-Vègre
・ Poilu
・ Poilvache Castle
・ Poilwa
・ Poilwa Namci
・ Poimandres
・ Poimapper
・ Poimenesperus
・ Poimeniko
・ Poinachi
・ Poinar
・ Poinard
・ Poincaré
・ Poincaré (crater)
Poincaré complex
・ Poincaré conjecture
・ Poincaré disk model
・ Poincaré duality
・ Poincaré group
・ Poincaré half-plane model
・ Poincaré inequality
・ Poincaré map
・ Poincaré metric
・ Poincaré model
・ Poincaré plot
・ Poincaré recurrence theorem
・ Poincaré residue
・ Poincaré Seminars
・ Poincaré separation theorem


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Poincaré complex : ウィキペディア英語版
Poincaré complex
In mathematics, and especially topology, a Poincaré complex (named after the mathematician Henri Poincaré) is an abstraction of the singular chain complex of a closed, orientable manifold.
The singular homology and cohomology groups of a closed, orientable manifold are related by Poincaré duality. Poincaré duality is an isomorphism between homology and cohomology groups. A chain complex is called a Poincaré complex if its homology groups and cohomology groups have the abstract properties of Poincaré duality.
A Poincaré space is a topological space whose singular chain complex is a Poincaré complex. These are used in surgery theory to analyze manifold algebraically.
==Definition==
Let } be a chain complex, and assume that the homology groups of ''C'' are finitely generated. Assume that there exists a map , called a chain-diagonal, with the property that ; where the map denotes the ring homomorphism known as the augmentation map. It is defined as follows: if then
Using the diagonal as defined above, we are able to form pairings, namely:
:\rho : H^k(C)\otimes H_n(C) \to H_(C), \ \text \ \ \rho(x\otimes y) = x \frown y ,
where \scriptstyle \frown denotes the cap product. A chain complex ''C'' is called geometric if a chain-homotopy exists between Δ and τΔ, where is given by
A geometric chain complex is called an algebraic Poincaré complex, of dimension ''n'', if there exists an infinite-ordered element of the ''n''-dimensional homology group, say , such that the maps given by
: (\frown\mu) : H^k(C) \to H_(C)
are group isomorphisms for all . These isomorphisms are the isomorphisms of Poincaré duality.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Poincaré complex」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.